TRICK_CFLAGS += -I${ER7_UTILS_HOME}
TRICK_CFLAGS += -I${TRICK_HOME}/trick_models
TRICK_CXXFLAGS += -I${ER7_UTILS_HOME}
TRICK_CXXFLAGS += -I${TRICK_HOME}/trick_models
